Synchronous programming language - PDFSEARCH.IO - Document Search Engine

Synchronous programming language
Results: 24

#	Item
11	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
12	Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K. Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2011-08-31 13:43:14 Process calculi Actor model Communicating sequential processes Process calculus Synchronous programming language Communications protocol Consensus Message passing Asynchrony Computing Concurrent computing Concurrency
13	COLA – The Component Language Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian K¨ uhnel, Florian M¨ uller, Zhonglei Wang, Doris Wild, Sabine Rittmann Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-10-29 20:08:38 Computing Electronic engineering Formal methods Software engineering Cybernetics SIGNAL Finite-state machine Lustre Dataflow Hardware description languages Synchronous programming languages Models of computation
14	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
15	Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2012-05-01 10:13:00 Automata theory Computer science Finite-state machine SIGNAL Dataflow Meta-Object Facility Synchronous programming language Formal language Models of computation Software engineering Computing
16	ON THE CREATIVE USE OF SCORE FOLLOWING AND ITS IMPACT ON RESEARCH Arshia Cont IRCAM CNRS STMS Musical Representations Team [removed] Add to Reading List Source URL: articles.ircam.fr Language: English - Date: 2011-05-29 05:43:29 Score following Computer music Synchronous programming language Electronic music Antescofo Sheet music International Computer Music Conference Max New Interfaces for Musical Expression Music Music software Entertainment
17	Binarization of Synchronous Context-Free Grammars Liang Huang∗ USC/Information Science Institute Hao Zhang∗∗ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 18:57:01 Programming language implementation CYK algorithm Formal grammar Context-free grammar Earley parser Parsing Parse tree Stochastic context-free grammar Terminal and nonterminal symbols Formal languages Linguistics Science
18	Brief Announcement: Efficient Perfectly Secure Communication over Synchronous Networks K. Srinathant C. Pandu Rangan~ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-02-04 10:28:11 C programming language International Obfuscated C Code Contest Classical cipher
19	Parser Adaptation and Projection with Quasi-Synchronous Grammar Features∗ David A. Smith Department of Computer Science University of Massachusetts Amherst Amherst, MA 01003, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-10 15:53:35 Syntax Parsing Dependency grammar Bitext word alignment Treebank Programming language implementation Linguistics Compiler construction
20	Science of Computer Programming[removed] – 42 www.elsevier.com/locate/scico The semantics and execution of a synchronous block-diagram language Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-06-09 11:11:48 Function Monotonic function FO Flip-flop Continuous function Combinatory logic Lambda calculus Mathematics Mathematical analysis Theoretical computer science